We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML has (...) the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property. (shrink)

An algebraic semantics, based on factor algebras, for one-way and two-way implicative verbs is proposed. Implicative verbs denote elements of filters or of ideals generated by identity functions in factor algebras. This semantics explains in particular the problem of implicational equivalence raised by two-way implicative verbs, and shows that the negation necessary to establish the implicativity of these verbs is the negation which preserves the presuppositions of sentences with implicative verbs. In addition, it follows from the proposed semantics that any (...) two implicative verbs denoting in the same algebra but belonging to different categories, are semantically related. (shrink)

Spiritual Theology's journey through these last decades shows an itinerary of development, the fruit of which is an ever more solid identity. This book seeks to present a perspective in that itinerary and in tune with the signs of our times: on one hand, militant secularism and, on the other, a widespread, concrete resurgence of experiences of transcendence. In this sense, the author is presenting a path of study organized around five concepts: presence, mystery, transcendence, lived experience, and transformation. In (...) effect, the inner transformation worked by the Presence of Mystery leaves a new knowing, in which the relationship with reality is renewed, since it has expanded and dilated beyond sensible perception, opening the subject up to an unlimited and real horizon of transcendence. The awareness of perceiving a 'greater reality' within reality leaves an emotional resonance that teaches a new way of feeling and reacting in the face of sensibly perceived reality. (shrink)

The notion of anaphoric conservativity, that is a property of specific functions taking sets and binary relations as arguments is studied. Such functions are denotations of anaphoric determiners forming nominal anaphors. It is shown that anaphoric conservativity is strictly stronger that ordinary conservativity of this type of functions. In consequence some novel semantic descriptions of reflexive and reciprocal pronouns are provided and a semantic universal stating that reflexive and reciprocal non-possessive determiners denote anaphorically conservative functions is proposed.

An edited version of a talk between Urban and Toynbee on Radio Free Europe. The book concerns the nature of history as well as discussing Marxism and Christianity, the third world, and the effects of technology.

In the late Middle Ages, Chaucer invents two imaginative domains crucial to his culture and to our understanding of the emergence of selfhood, subjectivity and social arrangements; antiquity and late-medieval modernity. Edwards demonstrates in this study how this was the result of Chaucer's reading and re-writing of the works of Boccaccio, which provide sources and models for portraying the classical past and medieval modernity. In so doing, Edwards provides us with a valuable way of assessing Chaucer's analysis of late medieval (...) culture. (shrink)